Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
951	Satisfiability Checking Fourier–Motzkin Variable Elimination Prof. Dr. Erika Ábrahám Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2011-08-22 10:21:17 Mathematical logic Theoretical computer science Mathematics Constraint programming Electronic design automation Formal methods Logical truth Model theory Satisfiability
952	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-13 14:27:12 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
953	Prof. Bernhard Steffen TU Dortmund BIO Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: English - Date: 2013-06-04 07:05:11 Computer science Model checking Software development process Large-scale Complex IT Systems ACM Transactions on Programming Languages and Systems Model-based testing Software engineering Institute for System Programming Brent Hailpern Science Formal methods Software development
954	LNCS[removed]Second Competition on Software Verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data management Model checking SystemC Benchmark Verilog BLAST model checker Standard Performance Evaluation Corporation Parallel computing Abstraction Electronic engineering Hardware description languages Electronic design automation
955	Softw Syst Model[removed]:223–225 DOI[removed]s10270[removed] Add to Reading List Source URL: www.sosym.org Language: English - Date: 2013-11-04 13:51:36 Scientific modeling Software engineering Software development Modeling language Software development process Model checking Scientific modelling Conceptual model Economic model Science Ethology Software
956	A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari Add to Reading List Source URL: alumni.cs.ucr.edu Language: English - Date: 2009-01-06 17:15:24 Heuristics Binary decision diagram Boolean algebra Diagrams Model checking Heuristic function Directed acyclic graph Heuristic Mathematical optimization Mathematics Graph theory Operations research
957	Process Mining Manifesto A manifesto is a "public Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2011-10-20 09:14:15 Business Process mining Conformance checking Business process discovery Business process management Business process modeling Business Process Model and Notation Data mining Business Process Execution Language Process management Management Systems engineering
958	LNCS[removed]Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Algorithm Data-flow analysis Abstraction Predicate Type system Mathematics Linguistics Function
959	/localhome/dbeyer/passau/Papers/68_CAV-2011_CPAcheckerTool/CAV11-proceedings/fig-design.dia Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Programming tool BLAST model checker Abstraction Mind Philosophy of mind Cognitive science Model checking Software bug Debugging
960	Tribute to Egon B¨ orger on the Occasion of his 60th Birthday Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2010-09-29 03:11:02 Applied mathematics Formal sciences Models of computation Abstract state machines Logic in computer science Yuri Gurevich Dagstuhl Model checking Logic Formal methods Mathematics Theoretical computer science

UPDATE